The permutation is insertion DP